<HTML>
<BODY>
Double precision classes.
</BODY>
</HTML>
